Justification Logic and History Based Computation
نویسندگان
چکیده
Justification Logic (JL) is a refinement of modal logic that has recently been proposed for explaining well-known paradoxes arising in the formalization of Epistemic Logic. Assertions of knowledge and belief are accompanied by justifications: the formula [[t]]A states that t is “reason” for knowing/believing A. We study the computational interpretation of JL via the Curry-de Bruijn-Howard isomorphism in which the modality [[t]]A is interpreted as: t is a type derivation justifying the validity of A. The resulting lambda calculus is such that its terms are aware of the reduction sequence that gave rise to them. This serves as a basis for understanding systems, many of which belong to the security domain, in which computation is history-aware.
منابع مشابه
Justifications for Logic Programs Under Answer Set Semantics
The paper introduces the notion of off-line justification for Answer Set Programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom w.r.t. a given answer set. The paper extends also this notion to provide justification of atoms during the computation of an answer set (on-line justification), and presents an integration of on-line justifications within the ...
متن کاملInitial Results on Justification for the Tabled Transaction Logic
In this paper, we describe our preliminary justification techniques for the transactional queries executed in the tabled Horn Transaction Logic. Transaction Logic is an extension of classical logic programming with state updates similar to database transactions suitable for tasks ranging from processing complex event workflows to AI planning. Execution with tabling is a technique to cache the c...
متن کاملOptimal intelligent control for glucose regulation
This paper introduces a novel control methodology based on fuzzy controller for a glucose-insulin regulatory system of type I diabetes patient. First, in order to incorporate knowledge about patient treatment, a fuzzy logic controller is employed for regulating the gains of the basis Proportional-Integral (PI) as a self-tuning controller. Then, to overcome the key drawback of fuzzy logic contro...
متن کاملJustification Logic
We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is based on classical propositional logic augmented by justification assertions t:F that read t is a justification for F. Justification Logic absorbs basic principles originating from both mainstream epistemology and the mathematical theory of proofs. It contributes to ...
متن کاملWhy Do We Need Justification Logic?
In this paper, we will sketch the basic system of Justification Logic, which is a general logical framework for reasoning about epistemic justification. Justification Logic renders a new, evidence-based foundation for epistemic logic. As a case study, we compare formalizations of the Kripke ‘Red Barn’ scenario in modal epistemic logic and Justification Logic and show here that the latter provid...
متن کامل